HEUNEN, CHRIS: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Topos for Algebraic Quantum Theory

Chris Heunen, Nicolaas P. Landsman, Bas Spitters

Journal:

Communications in Mathematical Physics

Year:

2009

Language:

english

File:

PDF, 743 KB

english, 2009

2

Categories of quantum and classical channels

Coecke, Bob, Heunen, Chris, Kissinger, Aleks

Journal:

Quantum Information Processing

Year:

2016

Language:

english

File:

PDF, 7.31 MB

english, 2016

3

The Many Classical Faces of Quantum Structures

Journal:

Year:

2017

Language:

english

File:

PDF, 323 KB

english, 2017

4

Semimodule Enrichment

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 348 KB

english, 2008

5

Quantum Logic in Dagger Kernel Categories

Chris Heunen, Bart Jacobs

Journal:

Year:

2010

Language:

english

File:

PDF, 629 KB

english, 2010

6

Complementarity in Categorical Quantum Mechanics

Journal:

Foundations of Physics

Year:

2012

Language:

english

File:

PDF, 563 KB

english, 2012

7

Diagonalizing matrices over AW*-algebras

Heunen, Chris, Reyes, Manuel L.

Journal:

Journal of Functional Analysis

Year:

2013

Language:

english

File:

PDF, 277 KB

english, 2013

8

Active lattices determine AW*-algebras

Heunen, Chris, Reyes, Manuel L.

Journal:

Journal of Mathematical Analysis and Applications

Year:

2014

Language:

english

File:

PDF, 423 KB

english, 2014

9

Pictures of complete positivity in arbitrary dimension

Coecke, Bob, Heunen, Chris

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 295 KB

english, 2016

10

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Semantics for probabilistic programming

Staton, Sam, Yang, Hongseok, Wood, Frank, Heunen, Chris, Kammar, Ohad

Year:

2016

Language:

english

File:

PDF, 371 KB

english, 2016

11

Can a quantum state over time resemble a quantum state at a single time?

Horsman, Dominic, Heunen, Chris, Pusey, Matthew F., Barrett, Jonathan, Spekkens, Robert W.

Journal:

Proceedings Mathematical Physical & Engineering Sciences

Year:

2017

Language:

english

File:

PDF, 444 KB

english, 2017

12

Automated distribution of quantum circuits via hypergraph partitioning

Andrés-Martínez, Pablo, Heunen, Chris

Journal:

Physical Review A

Year:

2019

Language:

english

File:

PDF, 507 KB

english, 2019

13

Quantum Logic in Dagger Kernel Categories

Chris Heunen, Bart Jacobs

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 371 KB

english, 2011

14

Intuitionistic Quantum Logic of ann-level System

Martijn Caspers, Chris Heunen, Nicolaas P. Landsman, Bas Spitters

Journal:

Foundations of Physics

Year:

2009

Language:

english

File:

PDF, 655 KB

english, 2009

15

Arrows, like Monads, are Monoids

Chris Heunen, Bart Jacobs

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 300 KB

english, 2006

16

Noncommutativity as a Colimit

Berg, Benno, Heunen, Chris

Journal:

Applied Categorical Structures

Year:

2012

Language:

english

File:

PDF, 465 KB

english, 2012

17

Bohrification of operator algebras and quantum logic

Chris Heunen, Nicolaas P. Landsman, Bas Spitters

Journal:

Year:

2012

Language:

english

File:

PDF, 434 KB

english, 2012

18

Relative Frobenius algebras are groupoids

Heunen, Chris, Contreras, Ivan, Cattaneo, Alberto S.

Journal:

Journal of Pure and Applied Algebra

Year:

2013

Language:

english

File:

PDF, 269 KB

english, 2013

19

Matrix multiplication is determined by orthogonality and trace

Heunen, Chris, Horsman, Clare

Journal:

Linear Algebra and its Applications

Year:

2013

Language:

english

File:

PDF, 171 KB

english, 2013

20

Characterizations of Categories of Commutative C*-Subalgebras

Journal:

Communications in Mathematical Physics

Year:

2014

Language:

english

File:

PDF, 325 KB

english, 2014

21

Erratum to: Noncommutativity as a Colimit

Benno van den Berg,Chris Heunen

Journal:

Applied Categorical Structures

Year:

2013

Language:

english

File:

PDF, 134 KB

english, 2013

22

Book review

Journal:

Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics

Year:

2014

Language:

english

File:

PDF, 129 KB

english, 2014

23

Quantum realization of arbitrary joint measurability structures

Kunjwal, Ravi, Heunen, Chris, Fritz, Tobias

Journal:

Physical Review A

Year:

2014

Language:

english

File:

PDF, 251 KB

english, 2014

24

Entangled and Sequential Quantum Protocols with Dephasing

Boixo, Sergio, Heunen, Chris

Journal:

Physical Review Letters

Year:

2012

Language:

english

File:

PDF, 336 KB

english, 2012

25

Quantum theory realizes all joint measurability graphs

Heunen, Chris, Fritz, Tobias, Reyes, Manuel L.

Journal:

Physical Review A

Year:

2014

Language:

english

File:

PDF, 133 KB

english, 2014

26

THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH

HEUNEN, CHRIS, LANDSMAN, NICOLAAS P., SPITTERS, BAS, WOLTERS, SANDER

Journal:

Journal of the Australian Mathematical Society

Year:

2011

Language:

english

File:

PDF, 173 KB

english, 2011

27

Categorical semantics for arrows

JACOBS, BART, HEUNEN, CHRIS, HASUO, ICHIRO

Journal:

Journal of Functional Programming

Year:

2009

Language:

english

File:

PDF, 291 KB

english, 2009

28

Reversible Monadic Computing

Heunen, Chris, Karvonen, Martti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 315 KB

english, 2015

29

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Domains of Commutative C-Subalgebras

Heunen, Chris, Lindenhovius, Bert

Year:

2015

Language:

english

File:

PDF, 280 KB

english, 2015

30

LOGIC MEETS PHYSICS || Bohrification of operator algebras and quantum logic

Chris Heunen, Nicolaas P. Landsman and Bas Spitters

Journal:

Year:

2012

Language:

english

File:

PDF, 2.58 MB

english, 2012

31

Quantum Physics and Linguistics (A Compositional, Diagrammatic Discourse) || An Alternative Gospel of Structure: Order, Composition, Processes

Heunen, Chris, Sadrzadeh, Mehrnoosh, Grefenstette, Edward

Year:

2013

Language:

english

File:

PDF, 445 KB

english, 2013

32

The Category of Matroids

Heunen, Chris, Patta, Vaia

Journal:

Applied Categorical Structures

Year:

2017

Language:

english

File:

PDF, 769 KB

english, 2017

33

Quantum Physics and Linguistics (A Compositional, Diagrammatic Discourse) || Distributional Semantic Models

Heunen, Chris, Sadrzadeh, Mehrnoosh, Grefenstette, Edward

Year:

2013

Language:

english

File:

PDF, 409 KB

english, 2013

34

Denotational validation of higher-order Bayesian inference

Ścibior, Adam, Ghahramani, Zoubin, Kammar, Ohad, Vákár, Matthijs, Staton, Sam, Yang, Hongseok, Cai, Yufei, Ostermann, Klaus, Moss, Sean K., Heunen, Chris

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 428 KB

english, 2017

35

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - A convenient category for higher-order probability theory

Heunen, Chris, Kammar, Ohad, Staton, Sam, Yang, Hongseok

Year:

2017

Language:

english

File:

PDF, 2.10 MB

english, 2017

36

Frobenius Structures Over Hilbert C*-Modules

Heunen, Chris, Reyes, Manuel L.

Journal:

Communications in Mathematical Physics

Year:

2018

Language:

english

File:

PDF, 745 KB

english, 2018

37

Domains of commutative C*-subalgebras

Heunen, Chris, Lindenhovius, Bert

Journal:

Mathematical Structures in Computer Science

Year:

2019

File:

PDF, 500 KB

2019

38

Domains of commutative C*-subalgebras

Heunen, Chris, Lindenhovius, Bert

Journal:

Mathematical Structures in Computer Science

Year:

2019

Language:

english

File:

PDF, 500 KB

english, 2019

39

Reversible Effects as Inverse Arrows

Heunen, Chris, Kaarsgaard, Robin, Karvonen, Martti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 288 KB

english, 2018

40

Monoidal characterisation of groupoids and connectors

Gran, Marino, Heunen, Chris, Tull, Sean

Journal:

Topology and its Applications

Year:

2019

Language:

english

File:

PDF, 1.15 MB

english, 2019

41

Tensor topology

Enrique Moliner, Pau, Heunen, Chris, Tull, Sean

Journal:

Journal of Pure and Applied Algebra

Year:

2020

File:

PDF, 900 KB

2020

42

Topos Quantum Theory with Short Posets

Harding, John, Heunen, Chris

Journal:

Year:

2020

File:

PDF, 395 KB

2020